Stable pseudofinite groups
نویسندگان
چکیده
The main theorem is that if G is a pseudofinite group with stable theory, then G has a definable normal soluble subgroup of finite index.
منابع مشابه
Pseudofinite groups with NIP theory and definability in finite simple groups
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and shortens the proof of, an earlier result for stable pseudofinite groups. An example is given of an NIP pseudofinite group which is not soluble-by-finite. However,...
متن کاملRemarks on compactifications of pseudofinite groups
We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out that (i) the Bohr compactification of an ultraproduct of finite simple groups is trivial, and (ii) the “definable” Bohr compactification of any pseudofinite group G, relative to an ambient nonstandard model of set theory in which it...
متن کاملGroups in supersimple and pseudofinite theories
We consider groups G interpretable in a supersimple finite rank theory T such that T eq eliminates ∃∞. It is shown that G has a definable soluble radical. If G has rank 2, then if G is pseudofinite it is soluble-by-finite, and partial results are obtained under weaker hypotheses, such as unimodularity of the theory. A classification is obtained when T is pseudofinite and G has a definable and d...
متن کاملThe stable regularity lemma revisited
We prove a regularity lemma with respect to arbitrary Keisler measures μ on V , ν on W where the bipartite graph (V,W,R) is definable in a saturated structure M̄ and the formula R(x, y) is stable. The proof is rather quick, making use of local stability theory. The special case where (V,W,R) is pseudofinite, μ, ν are the counting measures, and M̄ is suitably chosen (for example a nonstandard mode...
متن کاملSpecial groups whose isometry relation is a finite union of cosets
א0-stable א0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are א0stable, א0-categorical, satisfy AP (3) and have finite 2-symbol length. They are also related to special groups whose isometry relation is a finite union of cosets, which are then considered on their own, as well as their links with pseudofinite, profinite ...
متن کامل